Quantum Logic Joshua Sack Hilbert Spaces Mathematical structures Logics over Hilbert

Source URL: www.joshuasack.info

Chapter 1 LOGIC AND PROOF To be able to understand mathematics and mathematical arguments, it is necessary to have a solid understanding of logic and the way in which known facts can be combined to prove new facts. In th

Source URL: www.matthew-hoelle.com

De Bruijn’s ideas on the Formalization of Mathematics Herman Geuvers Radboud Universiteit Nijmegen & Technische Universiteit Eindhoven Foundation of Mathematics for Computer-Aided Formalization Padova, 9-11 January 201

Source URL: www.cs.ru.nl

• Type theory
• Philosophy of mathematics
• Proof assistants
• Automath
• Automated theorem proving
• Proof theory
• Nicolaas Govert de Bruijn
• Mathematical proof
• Foundations of mathematics
• Mathematical logic
• Theorem
• Mathematics

Microsoft Word - ABCDE_Scientific_Report_Rozanova.doc

Source URL: fellowship.ercim.eu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Semantic Web

Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Mathematics
• Formal methods
• Logic in computer science
• Constraint programming
• Electronic design automation
• Conflict-Driven Clause Learning
• DPLL algorithm
• Boolean satisfiability problem
• Satisfiability modulo theories

The Ackermann Award 2015 Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca Members of the Jury of the EACSL Ackermann Award Abstract The eleventh Ackermann Award is presented at CSL’15 in Berlin, Germany. This ye

Source URL: drops.dagstuhl.de

• Computability theory
• Theory of computation
• Mathematical logic
• EACSL
• Entscheidungsproblem
• Complexity
• Computational complexity theory
• Algorithm
• Decision problem
• Dexter Kozen

Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy

Source URL: www.ai4fm.org

• Automated theorem proving
• Formal methods
• Theoretical computer science
• Proof theory
• Logic in computer science
• Mathematical proof
• Proof assistant
• Isabelle
• Theorem
• Proof
• Formal verification

M L Q MATHEMATICAL LOGIC QUARTERLY

Source URL: faculty.baruch.cuny.edu

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal

Source URL: mws.cs.ru.nl

• Mathematics
• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Artificial intelligence
• Automated reasoning
• Reasoning
• Mathematical proof
• Theorem
• Mizar
• Parsing